Automatic programming - PDFSEARCH.IO - Document Search Engine

Automatic programming
Results: 566

#	Item
521	Real-Time Replication Garbage Collection Scott Nettles and James O’Toole Abstract We have implemented the first copying garbage collector that permits continuous unimpeded mutator access to the original Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2013-07-14 14:56:24 Memory management Automatic memory management Garbage collection Computing platforms Mutator Standard ML Objective-C Genera Object Computing Software engineering Computer programming
522	IEEE TRANS. ON AUTOMATIC CONTROL, 2014 (TO APPEAR) 1 Exact Convex Relaxation of Optimal Power Flow in Radial Networks Add to Reading List Source URL: netlab.caltech.edu Language: English - Date: 2014-05-25 21:55:18 Mathematics Measurement Physical quantities Electric power Electrical engineering Second-order cone programming Power flow study Exponentiation Semidefinite programming Mathematical optimization Operations research Electromagnetism
523	AUTOMATIC ALIGNMENT OF MUSIC PERFORMANCES WITH STRUCTURAL DIFFERENCES Maarten Grachten1 Martin Gasser1 1 Austrian Research Institute for Artificial Intelligence (OFAI), Vienna, Austria Add to Reading List Source URL: www.cp.jku.at Language: English - Date: 2013-11-14 06:55:43 Bioinformatics Science Dynamic time warping Time series analysis Needleman–Wunsch algorithm Sequence alignment Smith–Waterman algorithm Jensen–Shannon divergence Distance matrix Dynamic programming Computational phylogenetics Statistics
524	A Performance Analysis of the Berkeley UPC Compiler Wei-Yu Chen Parry Husbands Add to Reading List Source URL: www.gwu.edu Language: English - Date: 2013-12-04 13:04:25 Compiler construction Parallel computing Computer memory Programming language implementation Procedural programming languages Unified Parallel C Open64 Compiler optimization Automatic parallelization Computing Software engineering Computer programming
525	UPC Benchmarking Issues Tarek El -Ghazawi Sébastien Chauvin School of Computational Sciences George Mason University 4400 University Drive Add to Reading List Source URL: www.gwu.edu Language: English - Date: 2013-12-04 13:04:25 Programming language implementation Concurrency control Parallel computing Compiler optimizations Unified Parallel C Compiler construction Universal Product Code Automatic parallelization Thread-local storage Computing Software engineering Computer programming
526	Innovative Programming Systems, Inc. Scanner Manual Add to Reading List Source URL: www.scanitparts.com Language: English - Date: 2014-04-02 13:37:10 Encodings Barcode reader Barcode Label Image scanner Identification Computing Automatic identification and data capture Technology Barcodes
527	Journal of Instruction-Level Parallelism[removed]Submitted 10/02; published 4/03 Add to Reading List Source URL: www.jilp.org Language: English - Date: 2003-04-27 18:43:37 Parallel computing Programming language implementation Computer performance Compilers Profilers The Portland Group High Performance Fortran NAS Parallel Benchmarks Automatic parallelization Computing Computer programming Software engineering
528	KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cristian Cadar, Daniel Dunbar, Dawson Engler ∗ Stanford University Abstract Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2008-05-27 14:37:34 Software testing C POSIX library Abstract interpretation Symbolic execution Klee Main function Code coverage Library Constraint programming Software engineering Computing Computer programming
529	Microsoft Word - 2010problemsrev11.docx Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-08-18 19:27:20 Software engineering Barcodes Automatic identification and data capture Encodings APL Scheme Rho APL programming language family Computing Notation
530	Speculative Separation for Privatization and Reductions Nick P. Johnson Add to Reading List Source URL: liberty.princeton.edu Language: English - Date: 2012-03-26 09:20:45 Memory management Data types Compiler optimizations Type theory Automatic parallelization Pointer C Parallel computing Region-based memory management Computing Software engineering Programming language theory